Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
003687 | Véronique Cortier [France] ; Claude Kirchner [France] ; Mitsuhiro Okada [Japon] ; Hideki Sakurada [Japon] | Formal to practical Security |
003980 | Gergei Bana [Portugal] ; Koji Hasebe [Japon] ; Mitsuhiro Okada [Japon] | Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols |
00A928 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon] | The Calculus of Algebraic Constructions |
00BB57 | Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon] | Abstract data type systems |
This area was generated with Dilib version V0.6.33. |